Appendix to “Extended Topology: Domain Finiteness”
نویسندگان
چکیده
منابع مشابه
On Point-finiteness in Pointfree Topology
Abstract: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformities, contrarily to what happens with other familiar types of interior-preserving covers. The purpose of this paper is to remedy this by modifying the definition of Dowker and Strauss. We present arguments to j...
متن کاملOnline Appendix to: Extended Wavelets for Multiple Measures
PROOF OF THEOREM 1. Our proof bears similarities to the corresponding proof for the 0-1 Knapsack problem. A significant observation is that whenever we select a set Picked Set of coefficient values from a combined coefficient Coeff for storage, any candidate set subOpt of Coeff that will later be inserted into the max-heap for consideration cannot have a larger per-space benefit than that of Pi...
متن کاملDisplacement Risk and Asset Returns: Extended Appendix
∗Haas School of Business, UC Berkeley, NBER, and CEPR, 545 Student Services Building, Berkeley, CA 94720-1900, tel: (510) 642 3421, email: [email protected]. †Sloan School of Management, MIT, and NBER, E52-434, 50 Memorial Drive, Cambridge, MA 02142, tel: (617)253-2289, e-mail: [email protected]. ‡University of Chicago Booth School of Business and NBER, 5807 South Woodlawn Avenue, Office ...
متن کاملUnderstanding Finiteness Analysis Using Abstract Interpretation (extended Abstract) 1
Finiteness analyses are compile-time techniques to determine (suucient) conditions for the niteness of relations computed during the bottom-up execution of a logic program. We examine niteness analyses from the perspective of abstract interpretation. However, problems arise when trying to use standard abstract interpretation theory for niteness analysis. They occur because niteness is not an ad...
متن کاملEquivariant Cohomology in Algebraic Geometry Appendix A: Algebraic Topology
HiX and H X = ⊕ H iX. We refer to [Spa66] for the details and basic properties of these constructions, summarizing the most relevant facts below. One sacrifices some geometric intuition in working with cohomology instead of homology, but one gains the advantage of an easily defined ring structure. If σ ∈ CkX is a singular simplex, let fiσ ∈ CiX be the restriction of σ to the front i-face of the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1963
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(63)50037-7